pump dredger - German English Dictionary